منابع مشابه
The Logic of Quasi-MV Algebras
The algebraic theory of quasi-MV algebras, generalizations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define several interesting logics from these structures, so far this aspect has not been investigated. The present article aims at filling this gap.
متن کاملOn some properties of quasi-MV algebras and √′ quasi-MV algebras. Part II
The present paper is a sequel to Paoli F, Ledda A, Giuntini R, Freytes H (On some properties of QMV algebras and √′QMV algebras, submitted). We provide two representation results for quasi-MV algebras in terms of MV algebras enriched with additional structure; we investigate the lattices of subvarieties and subquasivarieties of quasi-MV algebras; we show that quasi-MV algebras, as well as carte...
متن کاملOn some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV
In the present paper, which is a sequel to [20, 4, 12], we investigate further the structure theory of quasi-MV algebras and √ ′quasi-MV algebras. In particular: we provide a new representation of arbitrary √ ′qMV algebras in terms of √ ′qMV algebras arising out of their MV* term subreducts of regular elements; we investigate in greater detail the structure of the lattice of √ ′qMV varieties, p...
متن کاملThe Logic of Perfect MV-algebras
In this paper we summarize results on perfect MV-algebras and we show that the class of first order à Lukasiewicz formulas valid in all interpretations over perfect MV-chains is axiomatizable.
متن کاملSome Properties of Quasi - Mv Algebras
A b s t r a c t. We investigate some properties of two varieties of algebras arising from quantum computation quasi-MV algebras and √ ′ quasi-MV algebras first introduced in [13], [12] and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of √ ′ quasiMV algebras...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2010
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exp080